Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
7

Software Model Checking Based on Game Semantics and CSP

Рік:
2005
Мова:
english
Файл:
PDF, 368 KB
english, 2005
20

Program verification using symbolic game semantics

Рік:
2014
Мова:
english
Файл:
PDF, 926 KB
english, 2014
23

Professor Georgi D. Efremov (1932–2011)

Рік:
2011
Мова:
english
Файл:
PDF, 60 KB
english, 2011
25

Systematic derivation of correct variability-aware program analyses

Рік:
2015
Мова:
english
Файл:
PDF, 957 KB
english, 2015
41

Verifying annotated program families using symbolic game semantics

Рік:
2017
Мова:
english
Файл:
PDF, 1.40 MB
english, 2017
42

Variability abstractions for lifted analyses

Рік:
2018
Мова:
english
Файл:
PDF, 681 KB
english, 2018